*** empty log message ***

diff --git a/etc/TODO b/etc/TODO
index 5698f0a4f893a2c1efad9c884200e0eed5cb4091..56c6fc1f13e57675438c93666b111a0b2694b277 100644 (file)
--- a/etc/TODO
+++ b/etc/TODO
@@ -46,9 +46,6 @@ I.e. mouse-set-font should use customize-face.
 ** Distribute a bar cursor of width > 1 evenly between the two glyphs
    on each side of the bar (what to do at the edges?).
 
-** Make vc-checkin avoid reverting the buffer if has not changed after
-   the checkin. Comparing (md5 BUFFER) to (md5 FILE) should be enough.
-
 ** buffer-offer-save should be a permanent local.
 
 ** revert-buffer should eliminate overlays and the mark.